Theorem Set.isAtom_iff

Modification history

2023-12-09 13:26

Mathlib/Order/Atoms.lean

feat: Finsets and multisets are graded (#8892) …

Modified Set.isAtom_iff View on Github →

2022-12-30 17:08

Mathlib/Order/Atoms.lean

feat: port Order.Atoms (#1257) …

Added Set.isAtom_iff View on Github →