Theorem LinearMap.comp_id_fgModuleCat

Modification history