Theorem RelIso.cof_eq_lift

Modification history