Theorem PerfectRing.toPerfectField

Modification history