Theorem reflection_mul_reflection

Modification history