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

tensorCongr_refl

Mathlib.AlgebraicGeometry.PullbackCarrier

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.Pullback.Triplet.tensorCongr_refl

← MathLib Explorer