Commit 2023-11-01 17:24 aedc01b0

View on Github →

feat: Inf variants of ciSup_mul and related lemmas (#8078)

Estimated changes

added theorem ciInf_div
added theorem ciInf_mul
added theorem mul_ciInf