Theorem CategoryTheory.Limits.biprod.map_fst

Modification history