Commit 2026-04-05 00:51 ec3a09d3

View on Github →

chore(Order/ConditionallyCompleteLattice/Indexed): fix typo in theorem name (#37650) Rename ciInf_eq_top_of_top_mem to ciSup_eq_top_of_top_mem, it's about iSup not iInf.

Estimated changes

deleted theorem ciInf_eq_top_of_top_mem