Theorem MulChar.pow_apply'

Modification history