Theorem reflection_inv

Modification history