Theorem Dfinsupp.mk_zero

Modification history