∫ Утверждение Mathlib
forget₂_map_associator_inv
Mathlib.LinearAlgebra.QuadraticForm.QuadraticModuleCat.Monoidal
URI: https://scilib.ai/kg/mathlib#QuadraticModuleCat.forget₂_map_associator_inv
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.QuadraticForm.QuadraticModuleCat.Monoidal
URI: https://scilib.ai/kg/mathlib#QuadraticModuleCat.forget₂_map_associator_inv