Theorem CategoryTheory.Limits.limitConstTerminal_inv_π

Modification history