elim_comp — Mathlib · SciLib

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

elim_comp

Mathlib.Data.Option.Basic

URI: https://scilib.ai/kg/mathlib#Option.elim_comp

← MathLib Explorer