Theorem SymplecticGroup.inv_left_mul_aux

Modification history