instNontrivial — Mathlib · SciLib

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

instNontrivial

Mathlib.Algebra.FreeAlgebra

URI: https://scilib.ai/kg/mathlib#FreeAlgebra.instNontrivial

← MathLib Explorer