https://github.com/l1mey112/methlib4
Probably going through a lot of elementary finite group theory notions.
Euler’s Theorem, Fermat’s Little Theorem, existence of right inverses for a surjective function, existence of left inverses for an injective function.
commit f303cb765cb7364abc29ff67be02f73dbecd6313
Author: l1mey112 <[email protected]>
Date: Wed Jan 28 11:50:54 2026 +1100
functions(#1769551200): left and right inverses for injective and surjective
commit 18195633cced356a78f56652ba83d605b2c76363
Author: l1mey112 <[email protected]>
Date: Wed Jan 28 10:09:18 2026 +1100
GT(#1769551200): proof of euler's and fermat's theorem