Michigan Wolverines head football coaches
... that all nine individuals who served as Michigan Wolverines head football coaches from 1900 to 1989 have been inducted into the College Football Hall of Fame?
... that all nine individuals who served as <b id="mwGc8"><a href="./List_of_Michigan_Wolverines_head_football_coaches" id="mwGdA" rel="mw:WikiLink" title="List of Michigan Wolverines head football coaches">Michigan Wolverines head football coaches</a></b> from 1900 to 1989 have been inducted into the <a href="./College_Football_Hall_of_Fame" id="mwGdE" rel="mw:WikiLink" title="College Football Hall of Fame">College Football Hall of Fame</a>?