Theorem CategoryTheory.Limits.equalizer.fork_π_app_zero

Modification history