∫ Утверждение Mathlib
bijective_costar_iff_bijective_star
Mathlib.Combinatorics.Quiver.Covering
URI: https://scilib.ai/kg/mathlib#Prefunctor.bijective_costar_iff_bijective_star
∫ Утверждение Mathlib
Mathlib.Combinatorics.Quiver.Covering
URI: https://scilib.ai/kg/mathlib#Prefunctor.bijective_costar_iff_bijective_star