Theorem Set.Icc.addNsmul_zero

Modification history