Theorem Submodule.liftQSpanSingleton_apply

Modification history