Theorem Finsupp.DegLex.wellFounded

Modification history