diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-01-11 18:27:37 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-01-11 18:27:37 +0100 |
| commit | 28f4ab93e3e0b79a083acdadaf7c803a0b10361c (patch) | |
| tree | a19a489dbc9b1f1527084753adfbbea8970bd85c /Algebra/Derivations.lean | |
| parent | be4133cbfa15080dcc7ace5c4df6b6ed81c02fa7 (diff) | |
prove well-definedness of restrict operation
Diffstat (limited to 'Algebra/Derivations.lean')
0 files changed, 0 insertions, 0 deletions