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

LiftHom_right_unitor_hom

Mathlib.Tactic.CategoryTheory.Coherence

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Coherence.LiftHom_right_unitor_hom

← MathLib Explorer