Theorem Fin.cycleIcc.trans_left_one

Modification history