Theorem Fin.repeat_comp_rev

Modification history