Theorem IsPerfectClosure.equiv_comp_equiv

Modification history