mathlib3
917fc964 - refactor(set_theory/cofinality): Normalize names (#13400)

Commit

3 years ago

refactor(set_theory/cofinality): Normalize names (#13400) We rename lemmas of the form `is_regular (foo x)` to `is_regular_foo` instead of `foo_is_regular`.

Author

vihdzp

Parents

ac7a356a

mathlib3 917fc964 - refactor(set_theory/cofinality): Normalize names (#13400)

mathlib3
917fc964 - refactor(set_theory/cofinality): Normalize names (#13400)