Commit 2023-02-02 01:49 cc02adc6

View on Github →

Feat: prove continuity of Sum.isLeft and Sum.isRight (#2001)

Estimated changes

added theorem continuous_isLeft
added theorem continuous_isRight
added theorem continuous_sum_dom