CREATE TABLE player_college (player_id VARCHAR(255), college_id VARCHAR(255)); CREATE TABLE player (height INTEGER, player_id VARCHAR(255)); CREATE TABLE college (college_id VARCHAR(255), name_full VARCHAR(255))
What is the average height of the players from the college named 'Yale University'?
    
SQL: SELECT AVG(T1.height) FROM player AS T1 JOIN player_college AS T2 ON T1.player_id = T2.player_id JOIN college AS T3 ON T3.college_id = T2.college_id WHERE T3.name_full = 'Yale University'