Theorem extend_partialOrder

Modification history