Theorem Rat.inv_mkRat

Modification history