instInhabitedOfDefault_mathlib — Mathlib · SciLib

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

instInhabitedOfDefault_mathlib

Mathlib.Data.Sigma.Basic

URI: https://scilib.ai/kg/mathlib#PSigma.instInhabitedOfDefault_mathlib

← MathLib Explorer