mathlib
0afb90b4 - refactor(algebra/parity): Generalize to division monoids (#14187)

Commit

3 years ago

refactor(algebra/parity): Generalize to division monoids (#14187) Generalize lemmas about `is_square`, `even` and `odd`. Improve dot notation.

Author

YaelDillies

Parents