instCanLiftFinsetToSetFinite — Mathlib · SciLib

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

instCanLiftFinsetToSetFinite

Mathlib.Data.Set.Finite.Basic

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

← MathLib Explorer