Theorem PEquiv.ofSet_eq_some_self_iff

Modification history