term_⇨ᵣ_ — Mathlib · SciLib

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

term_⇨ᵣ_

Mathlib.Algebra.Order.Quantale

URI: https://scilib.ai/kg/mathlib#Quantale.term_⇨ᵣ_

← MathLib Explorer