Theorem IsPerfectClosure.equiv_self

Modification history