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

instEmptyCollection

Mathlib.Tactic.Linter.DirectoryDependency

URI: https://scilib.ai/kg/mathlib#Mathlib.Linter.DirectoryDependency.NamePrefixRel.instEmptyCollection

← MathLib Explorer