∫ Утверждение Mathlib
exact
Mathlib.Tactic.GCongr.Core
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.GCongr.exact
∫ Утверждение Mathlib
Mathlib.Tactic.GCongr.Core
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.GCongr.exact