Theorem Finsupp.Lex.wellFounded

Modification history