Theorem Module.Projective.of_ringEquiv

Modification history