modularity lifting theorem

GPTKB entity