Sym2 Rule Set #
This module defines the Sym2
Aesop rule set. Aesop rule sets only become
visible once the file in which they're declared is imported, so we must put this
declaration into its own file.
Mathlib.Data.Sym.Sym2.Init
This module defines the Sym2
Aesop rule set. Aesop rule sets only become
visible once the file in which they're declared is imported, so we must put this
declaration into its own file.