Theorem Submodule.supᵢ_induction'

Modification history