Theorem inv_eq_one_divp

Modification history