Theorem t

Modification history

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