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

private

Mathlib.Tactic.Linter.UpstreamableDecl

URI: https://scilib.ai/kg/mathlib#Mathlib.Linter.linter.upstreamableDecl.private

← MathLib Explorer