remove outdated helpers for Theorem 8.8

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

https://rzk-lang.github.io/sHoTT/

44 stars 12 forks source link

Closed TashiWalde closed 1 year ago

TashiWalde commented 1 year ago

As discussed with @cesarbm03 , removes some leftover helper terms and closes #12 .