Brauer's second main theorem

GPTKB entity