Theorem PEquiv.single_trans_single

Modification history