Theorem PartialOrder.isIso_iff_eq

Modification history

2025-03-16 16:36
Mathlib/CategoryTheory/Category/Preorder.lean
feat(CategoryTheory): Noetherian objects (#22373) …
Added PartialOrder.isIso_iff_eqView on Github →