Theorem SupIrred.finset_sup_eq

Modification history

2023-07-18 11:09
Mathlib/Order/Irreducible.lean
feat: port Order.Irreducible (#5976)
Added SupIrred.finset_sup_eqView on Github →