3 commits

Author	SHA1	Message	Date
Floris van Doorn	9a17a244c9	move more results and make arguments explicit ... More results from the Spectral repository are moved to this library Also make various type-class arguments of truncatedness and equivalences which were hard to synthesize explicit	2018-09-11 17:06:08 +02:00
Floris van Doorn	7d0eecc449	feat(hott): move basic lemmas from the spectral repository to the main repository	2017-06-02 12:13:20 -04:00
Floris van Doorn	43cf2ad23d	style(hott): replace all other occurrences of hprop/hset ... They are replaced by either Prop/Set or prop/set	2016-02-22 11:15:38 -08:00

Renamed from hott/hprop_trunc.hlean (Browse further)