Theorem Set.IsPWO.of_linearOrder

Modification history