Theorem CategoryTheory.Limits.Pi.map'_id_id

Modification history