Theorem orderOf_pow'

Modification history