Theorem CategoryTheory.Limits.Pi.isoLimit_inv_π

Modification history