Uniqueness of the Faber–Krahn Position of Convex Bodies
Prior state unknown→proved
VibeMathed recorded: Uniqueness of the Faber–Krahn Position of Convex Bodies. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review