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
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
