Theorem CategoryTheory.Limits.Cowedge.mk_π

Modification history