Skip to content

CompactTypes: add "From HoTT"

b80971c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add "From HoTT" before many "Require" commands #2312

CompactTypes: add "From HoTT"
b80971c
Select commit
Loading
Failed to load commit list.