_aux_Mathlib_Util_Notation3___macroRules_Mathlib_Tactic_scopedNS_1 — Mathlib · SciLib

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

_aux_Mathlib_Util_Notation3___macroRules_Mathlib_Tactic_scopedNS_1

Mathlib.Util.Notation3

URI: https://scilib.ai/kg/mathlib#Mathlib.Notation3._aux_Mathlib_Util_Notation3___macroRules_Mathlib_Tactic_scopedNS_1

← MathLib Explorer