mathlib3
38caa506 - feat(data/nat/basic): `a < a / b * b + b` (#10193)
Commit
View On GitHub
Commit
4 years ago
feat(data/nat/basic): `a < a / b * b + b` (#10193)
Author
YaelDillies YaelDillies
Parents
ebe7951d
FAQ Terms Privacy Refunds Impressum
Loading