Theorem CategoryTheory.Limits.Trident.equalizer_ext

Modification history