mem_inf — Mathlib · SciLib

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

mem_inf

Mathlib.Algebra.Field.Subfield.Basic

URI: https://scilib.ai/kg/mathlib#Subfield.mem_inf

← MathLib Explorer