Theorem PEquiv.eq_some_iff

Modification history