Theorem PartialEquiv.disjointUnion_eq_piecewise

Modification history