of_subsingleton — Mathlib · SciLib

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

of_subsingleton

Mathlib.LinearAlgebra.Ray

URI: https://scilib.ai/kg/mathlib#SameRay.of_subsingleton

← MathLib Explorer