subtype — Mathlib · SciLib

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

subtype

Mathlib.LinearAlgebra.AffineSpace.AffineSubspace.Basic

URI: https://scilib.ai/kg/mathlib#AffineSubspace.subtype

← MathLib Explorer