Theorem CategoryTheory.Limits.Pi.map'_id

Modification history