Theorem ModuleCat.biprodIsoProd_inv_comp_fst

Modification history