Commit 2026-06-24 13:15 8b62164d

View on Github →

chore(CategoryTheory/Limits/Shapes/StrongEpi): use to_dual (#40959) This PR generates declarations about StrongMono from those about StrongEpi.

Estimated changes