one_def — Mathlib · SciLib

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

one_def

Mathlib.GroupTheory.SpecificGroups.Dihedral

URI: https://scilib.ai/kg/mathlib#DihedralGroup.one_def

← MathLib Explorer