Theorem Submodule.span_induction'

Modification history