Theorem EReal.neg_strictAnti

Modification history