diff options
Diffstat (limited to 'Algebra/Derivations.lean')
| -rw-r--r-- | Algebra/Derivations.lean | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Algebra/Derivations.lean b/Algebra/Derivations.lean index 142c49c..e2cd052 100644 --- a/Algebra/Derivations.lean +++ b/Algebra/Derivations.lean @@ -1,7 +1,7 @@ import Mathlib import Algebra.Terms -namespace Algebra +namespace NominalAlgebra section Theories @@ -237,4 +237,4 @@ instance TermAtDepth.setoid : Setoid (TermAtDepth 𝔸 T.sig X n) where end DerivableEquations -end Algebra +end NominalAlgebra |