Commit 2025-03-04 13:13 ccb29179

View on Github →

chore(CategoryTheory/Limits): unapply fan_mk_proj and cofan_mk_inj (#22537)

Estimated changes