Theorem Rat.abs_def

Modification history