Theorem Dfinsupp.Lex.acc_zero

Modification history