Theorem Module.Free.of_ringEquiv

Modification history