diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-09-25 22:11:38 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-09-25 22:43:39 +0200 |
| commit | 7a571004a8dd874d0af95cdc7f80fdf61f9c1c9f (patch) | |
| tree | 0b0835e49268e07fb68e80516b8599d5f85cd8b1 /Algebra/Derivations.lean | |
| parent | c92169d23ec70e453bf1b84c82b224997065e0ff (diff) | |
implement group of finitely supported permutations
Diffstat (limited to 'Algebra/Derivations.lean')
0 files changed, 0 insertions, 0 deletions