∫ Утверждение Mathlib
Mathlib.Data.List.Shortlex
URI: https://scilib.ai/kg/mathlib#List.shortlex_nil_or_eq_nil
← MathLib Explorer