Theorem CategoryTheory.Limits.hasFiniteLimits_of_hasTerminal_and_pullbacks

Modification history