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

choose_snd_mem

Mathlib.Data.Set.Subsingleton

URI: https://scilib.ai/kg/mathlib#Set.Nontrivial.choose_snd_mem

← MathLib Explorer