Theorem jacobiSym.pow_right

Modification history