applicative — Mathlib · SciLib

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

applicative

Mathlib.Data.Finset.Functor

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

← MathLib Explorer