Theorem PEquiv.trans_symm_eq_iff_forall_isSome

Modification history