polished up 2.12

Found the HoTT library’s equiv_sigT_corect