Skip to content

feat: generalized Kronecker delta definition#1192

Merged
jstoobysmith merged 8 commits into
leanprover-community:masterfrom
wdconinc:patch-1
Jun 18, 2026
Merged

feat: generalized Kronecker delta definition#1192
jstoobysmith merged 8 commits into
leanprover-community:masterfrom
wdconinc:patch-1

fix: address unusedSimpArgs warnings

2c6bc22
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based style linter
succeeded Jun 18, 2026 in 16s