6 messages · Page 1 of 1 (latest)
ii is basically just steps 1, 2 and 4
you do the (imo worse) method in i
which is step 3
like base assumption inductive conclusion
yeah essentially
the M rubbish is just another way to show it
vivid cosmos