Theorem btw_cyclic_right

Modification history