Theorem CategoryTheory.Limits.biprod.mapBiprod_inv_map_desc

Modification history