Wiles's modularity lifting theorem

GPTKB entity