Theorem reflection_trans_reflection

Modification history