Commit 2023-08-10 13:44 4ae3f82f

View on Github →

chore(Data/IsROrC/Basic): trivial lemmas about inequalities with zero (#6488)

Estimated changes

added theorem IsROrC.neg_iff
added theorem IsROrC.nonneg_iff
added theorem IsROrC.nonpos_iff
added theorem IsROrC.pos_iff