fix(library/tactic/inversion_tactic): fix bug in 'cases' tactic for HoTT library
test(tests/lean/hott): add tele_eq example using HoTT library