mathlib
d5a1b468 - to_nat_le_to_nat (#685)
Commit
View On GitHub
Commit
6 years ago
to_nat_le_to_nat (#685)
Author
sgouezel sgouezel
Committer
ChrisHughes24 ChrisHughes24
Parents
9f79d2eb
FAQ Terms Privacy Refunds Impressum
Loading