Theorem jacobiSym.list_prod_left

Modification history