Theorem LocalEquiv.pi_trans

Modification history