Proof that Z-set and additive merge form an abelian group · GitHub
Proof that Z-set and additive merge form an abelian group - zset_abelian.lean| Gist
Proof that Z-set and additive merge form an abelian group - zset_abelian.lean| Gist
AI leveraged learning lets you start with the application at the end. Curiosity guides what you learn, fundamentals backfill when you need them.| Interjected Future
