User contributions for 79.180.4.184

For 79.180.4.184 talk block log logs filter log
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽

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.'