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

map_id

Mathlib.AlgebraicGeometry.EllipticCurve.VariableChange

URI: https://scilib.ai/kg/mathlib#WeierstrassCurve.VariableChange.map_id

← MathLib Explorer