Commit 2022-12-29 11:25 7077b721

View on Github →

feat: port Order/ConditionallyCompleteLattice/Group (#1253)

Estimated changes

added theorem csupᵢ_mul_csupᵢ_le
added theorem csupᵢ_mul_le
added theorem le_cinfᵢ_mul
added theorem le_cinfᵢ_mul_cinfᵢ
added theorem le_mul_cinfᵢ
added theorem mul_csupᵢ_le