4 commits

Author	SHA1	Message	Date
Steve Awodey	a209f4e085	trivial	2017-06-30 13:20:08 +01:00
Floris van Doorn	ed7de51d02	move basic lemmas from the spectral repository to the main repository	2017-06-02 12:15:31 -04:00
Jeremy Avigad	c0a301e141	fix left module namespace	2017-03-30 15:43:54 -04:00
Jeremy Avigad	4fd9c00755	the short five lemma	2017-03-10 11:51:37 -05:00