Theorem Cardinal.mk_set
Modification history
2026-03-05 10:25
Mathlib/SetTheory/Cardinal/Order.lean
chore(*): reduce defeq abuse about `Set` (#36152) …
Modified Cardinal.mk_setView on Github →2025-06-27 12:16
Mathlib/SetTheory/Cardinal/Order.lean
chore: remove unused simp arguments (#26430) …
Modified Cardinal.mk_setView on Github →2025-03-18 10:57
Mathlib/SetTheory/Cardinal/Basic.lean
chore(SetTheory): split `Cardinal/Basic.lean` (#23014) …
Modified Cardinal.mk_setView on Github →2023-12-02 15:52
Mathlib/SetTheory/Cardinal/Basic.lean
chore: space after `←` (#8178)
Modified Cardinal.mk_setView on Github →2023-11-09 04:02
Mathlib/SetTheory/Cardinal/Basic.lean
style(SetTheory): remove useless parentheses (#8279) …
Modified Cardinal.mk_setView on Github →