Theorem Partrec.of_eq_tot

Modification history