Theorem Path.trans_pi_eq_pi_trans

Modification history