Theorem CategoryTheory.Limits.CokernelCofork.map_condition

Modification history