HoTT/book — pull request #645 by ezyang (2014-03-06 02:00:23+00:00)
Title: Insert missing 'e' on lhs invocation of W-elim.

Signed-off-by: Edward Z. Yang