Documentation

EuclideanGeometry.Foundation.Tactic.Congruence.Attr

source
opaque congrSaExtension :
Lean.SimpleScopedEnvExtension Lean.Name (List Lean.Name)