Theorem PEquiv.single_mul_single_right

Modification history