Documentation

Aesop.RuleSet.Filter

Instances For
    Equations
      Instances For
        Equations
          Instances For
            Equations
              Instances For

                Returns the identifier of the local norm simp rule matched by f, if any.

                Equations
                  Instances For