Theorem CategoryTheory.Limits.BinaryFan.assocInv_fst

Modification history