mathlib3
745099b8 - chore(*/parity): Generalize lemmas and clarify names (#13268)

Commit

4 years ago

chore(*/parity): Generalize lemmas and clarify names (#13268) Generalizations

Author

YaelDillies

YaelDillies

Parents

Loading