Theorem IsPerfectClosure.equiv_toRingHom

Modification history