Theorem orderOf_inv

Modification history