Skip to content

feat: reserved names for congruence theorems #7215

feat: reserved names for congruence theorems

feat: reserved names for congruence theorems #7215

Annotations

1 warning

check-lean-files

succeeded Dec 18, 2024 in 26s
Set up job
0s
Run actions/checkout@v4
23s
Verify .lean files start with a copyright header.
3s
Post Run actions/checkout@v4
0s
Complete job
0s