Theorem IsPerfectClosure.equiv_comp

Modification history