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

symm

Mathlib.RingTheory.LocalRing.ResidueField.Basic

URI: https://scilib.ai/kg/mathlib#IsLocalRing.ResidueField.mapEquiv.symm

← MathLib Explorer