Def CategoryTheory.Limits.splitEpiOfIdempotentOfIsColimitCofork

Modification history