Theorem Set.PartiallyWellOrderedOn.subsetProdLex

Modification history