Theorem IsPerfectClosure.equiv_comp_equiv_apply

Modification history