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

subsingleton_or_nontrivial

Mathlib.Data.Set.Subsingleton

URI: https://scilib.ai/kg/mathlib#Set.subsingleton_or_nontrivial

← MathLib Explorer