Theorem reflection_apply

Modification history