instInvolutiveStarForall — Mathlib · SciLib

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

instInvolutiveStarForall

Mathlib.Algebra.Star.Pi

URI: https://scilib.ai/kg/mathlib#Pi.instInvolutiveStarForall

← MathLib Explorer