Add prove of injectivity to Data.Fin.combine#1679

Merged

MatthewDaggitt merged 6 commits intoagda:masterfrom

uzytkownik:combine

Jan 24, 2022

Commits on Jan 9, 2022

Commits on Jan 22, 2022

Commits on Jan 24, 2022

fixup! Prove injectivity of Data.Fin.combine
uzytkownik
committed