MegRitchie
Results
1
issues of
MegRitchie
In intro.lean on lines 38-39, "fundamental to discrete mathematical" should be "fundamental to discrete mathematics". Also on line 186, "They crazy idea" should be "The crazy idea".