Documentation

Aesop.RuleSet.Name

← Mathematical handbook
source
@[reducible, inline]
abbrev Aesop.RuleSetName :
Type
Equations
Instances For
    source
    def Aesop.defaultRuleSetName :
    RuleSetName
    Equations
    Instances For
      source
      def Aesop.builtinRuleSetName :
      RuleSetName
      Equations
      Instances For
        source
        def Aesop.localRuleSetName :
        RuleSetName
        Equations
        Instances For
          source
          def Aesop.builtinRuleSetNames :
          Array RuleSetName
          Equations
          Instances For
            source
            def Aesop.RuleSetName.isReserved (n : RuleSetName) :
            Bool
            Equations
            Instances For