Theorem Dfinsupp.single_neg

Modification history