Theorem CategoryTheory.Limits.wideEqualizer.trident_π_app_zero

Modification history