Hofstadter's MIU

This is a verification of Hofstadter's MIU system developed by Norman Megill using my metamath interpreter.

This page proves that M U I I U is entailed in Hofstadter's MIU system using only typographical transformations: