The Generalized Busemann-Petty Problem in Dimensions 2 and 3
Prior state unknown→proved
Settles subspace dimensions 2 and 3; the generalized problem stays open for larger m.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review