Theorem CategoryTheory.Limits.hasTerminalChangeUniverse

Modification history