cs-dm icon indicating copy to clipboard operation
cs-dm copied to clipboard
Published 6 years ago • verified publisher icon kevinsullivan

intro.lean typo

Open MegRitchie opened this issue 7 years ago • 0 comments

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

MegRitchie avatar Apr 24 '18 02:04 MegRitchie