Theorem CategoryTheory.Limits.Fork.equalizer_ext

Modification history