Theorem ModuleCat.free_shortExact_rank_add

Modification history