Theorem IsPerfectClosure.equiv_comp_equiv_eq_id

Modification history