diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 13:24:26 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 13:24:26 +0200 |
| commit | d75abcb4dc8bdc9feb93941f05d2e162abaf0af3 (patch) | |
| tree | 142ea01ebabeb41d233686a74bb04551579a0b6d /Graded/GradedMonad.lean | |
| parent | fe96f2d6674bda67b66d5c8c5ce7eea4e2b26031 (diff) | |
add equivariant instances
Diffstat (limited to 'Graded/GradedMonad.lean')
0 files changed, 0 insertions, 0 deletions