Theorem Module.Finite.of_basis

Modification history