totient): golf three lemmas (#13886)

Commit

3 years ago

chore(data/nat/totient): golf three lemmas (#13886) Golf the proofs of `totient_le`, `totient_lt`, and `totient_pos`

Author

stuart-presnell

Parents