Theorem EReal.bot_lt_inv

Modification history