Theorem ModuleCat.free_shortExact

Modification history