Theorem isAtom_iff_eq_top

Modification history

2025-05-01 06:42
Mathlib/Order/Atoms.lean
feat: preliminaries for Wedderburn–Artin (#24119)
Added isAtom_iff_eq_topView on Github →