Login
From:
Gist
(Uncensored)
subscribe
Proof that Z-set and additive merge form an abelian group · GitHub
https://gist.github.com/iamwilhelm/532dec95c387751a6f5790454dacab37
links
backlinks
Proof that Z-set and additive merge form an abelian group - zset_abelian.lean
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
