Theorem CategoryTheory.Limits.BinaryBiproduct.bicone_fst

Modification history