Theorem Submodule.closure_induction

Modification history