attach_empty — Mathlib · SciLib

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

attach_empty

Mathlib.Data.Finset.Basic

URI: https://scilib.ai/kg/mathlib#Finset.attach_empty

← MathLib Explorer