User contributions for 79.180.4.184
For 79.180.4.184 talk block log logs filter log
19 December 2007
- 10:2210:22, 19 December 2007
diff hist +153 N
Talk:Frattini's argument
←Created page with 'The last line: NH(P) ≤ NG(P) ≤ M so M = H seems to unnecessarily include it's 1st expression NH(P) as it is not used by the proof. It only confuses.'