Theorem eq_top_of_isCompl_bot

Modification history

2024-03-07 15:09

Mathlib/Order/Disjoint.lean

chore(Order): Make more arguments explicit (#11033) …

Modified eq_top_of_isCompl_bot View on Github →

2022-11-28 22:38

Mathlib/Order/Disjoint.lean

feat: port Order.Disjoint (#773) …

Added eq_top_of_isCompl_bot View on Github →