Theorem Finsupp.Lex.wellFounded_of_finite

Modification history