Commit 2024-09-21 12:33 ddb07e50

View on Github →

feat(Order/ConditionallyCompleteLattice/Basic): not_mem_of_lt_csInf' (#16988)

Estimated changes

added theorem not_mem_of_lt_csInf'