modularity lifting theorems

GPTKB entity