∫ Утверждение Mathlib

pointedToTwoPFst_comp_forget_to_bipointed

Mathlib.CategoryTheory.Category.TwoP

URI: https://scilib.ai/kg/mathlib#pointedToTwoPFst_comp_forget_to_bipointed

← MathLib Explorer