Theorem Submodule.closure_induction'

Modification history