Theorem ModuleCat.exact_iff

Modification history