Madsen–Weiss theorem

GPTKB entity