Theorem LocalEquiv.disjointUnion_eq_piecewise

Modification history