Theorem DFinsupp.Lex.acc_zero

Modification history