HomeIsabelle/Phabricator

Fixed typo in abstract of Lucas_Theorem