felix.git/test/phase5/exact-inductive-wrapper.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-05T18:55:47+00:00 Normalize transparent inductive contexts 2026-08-05T18:55:47+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T18:55:47+00:00 urn:sha1:490fd36c827eeea20994121bd56be0ab7190297b