Theorem s

Modification history

2026-01-09 20:29
MathlibTest/CategoryTheory/Coherence.lean
chore: run the new `shake` tool (#32731) …
Added sView on Github →