What is the average height of the players from the college named 'Yale University'?
CREATE TABLE player_college (
    player_id VARCHAR,
    college_id VARCHAR
)

CREATE TABLE player (
    height INTEGER,
    player_id VARCHAR
)

CREATE TABLE college (
    college_id VARCHAR,
    name_full VARCHAR
)
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'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the average height of the players from the college named 'Yale University'? ### Input: CREATE TABLE player_college (
    player_id VARCHAR,
    college_id VARCHAR
)

CREATE TABLE player (
    height INTEGER,
    player_id VARCHAR
)

CREATE TABLE college (
    college_id VARCHAR,
    name_full VARCHAR
) ### Response: 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'