K-Polystable Toric Fano Varieties With Small Alpha Invariants
Prior state unknown→proved
VibeMathed recorded: K-Polystable Toric Fano Varieties With Small Alpha Invariants. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review