Theorem CategoryTheory.Limits.fan_mk_proj

Modification history