Theorem Rat.mk_denom_ne_zero_of_ne_zero

Modification history