Theorem SimplexCategory.const_fac_thru_zero

Modification history