mathlib
7b7fea55 - refactor(set_theory/cardinal_ordinal): `aleph_is_principal_aleph` → `principal_add_aleph` (#12663)

Commit

3 years ago

refactor(set_theory/cardinal_ordinal): `aleph_is_principal_aleph` → `principal_add_aleph` (#12663) This matches the naming scheme used throughout `set_theory/principal.lean`.

Author

vihdzp

Parents

6ebb3786

mathlib 7b7fea55 - refactor(set_theory/cardinal_ordinal): `aleph_is_principal_aleph` → `principal_add_aleph` (#12663)

mathlib
7b7fea55 - refactor(set_theory/cardinal_ordinal): `aleph_is_principal_aleph` → `principal_add_aleph` (#12663)