mathlib
45470769 - chore(*): use zero_lt_two/two_ne_zero lemmas more (#13609)

Commit

3 years ago

chore(*): use zero_lt_two/two_ne_zero lemmas more (#13609) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

Ruben-VandeVelde

Parents