Smooth four-dimensional Poincaré conjecture

GPTKB entity