Theorem PerfectRing.ofSurjective

Modification history