Theorem EReal.abs_def

Modification history