mathlib3
d32f9c72 - feat(data/nat/log): add some lemmas and monotonicity (#6899)

Commit

4 years ago

feat(data/nat/log): add some lemmas and monotonicity (#6899)

Author

hallow-world

hallow-world

Parents

Loading