Theorem CategoryTheory.Limits.biprod.map_eq_map'

Modification history