Theorem Module.Free.iff_of_ringEquiv

Modification history