mathlib
d951b2b4 - feat(data/nat): division of powers (#6067)
Commit
View On GitHub
Commit
4 years ago
feat(data/nat): division of powers (#6067) A small missing lemma.
Author
b-mehta b-mehta
Parents
b8a6f811
FAQ Terms Privacy Refunds Impressum
Loading