mathlib3
44682319 - feat(data/nat/log): Equivalent conditions for logarithms to equal zero and one (#9903)

Commit
4 years ago
feat(data/nat/log): Equivalent conditions for logarithms to equal zero and one (#9903) Add equivalent conditions for a `nat.log` to equal 0 or 1.
Author
Parents
Loading