Theorem orderOf_pos

Modification history