diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-12-05 23:19:57 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-12-05 23:19:57 +0100 |
| commit | aa280ca672aff145e811b79f4315ba200a09bad5 (patch) | |
| tree | ab6e3f4944c52a8ba928a2f1358084364762baf4 /Algebra/Derivations.lean | |
| parent | cc3483496781b10b6acd2450117b443d03957dc4 (diff) | |
define algebras
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 |