Theorem ModuleCat.span_rightExact

Modification history