proofs

Name Size Modified
..
100thms_12.mg
AdjForgetBij.mg
AdjForgetIrrPartOrd.mg
NoInitialMonoid.mg
Part1.mg
Part10.mg
Part11.mg
Part12.mg
Part13.mg
Part14.mg
Part2.mg
Part3.mg
Part4.mg
Part5.mg
Part6.mg
Part7.mg
Part8.mg
Part9.mg
TwoRamseyProp_3_5_14.mg
mmset_frege53c.mg
mmset_idi.mg
t3_xregular.mg
topology.mg