Unit-Area Triangles in Planar Sets of Large Measure
Prior state unknown→proved
VibeMathed recorded: Unit-Area Triangles in Planar Sets of Large Measure. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review