3 commits

Author	SHA1	Message	Date
Floris van Doorn	a5a174ef0c	prove convergence theorem, assuming we can derive an exact couple	2017-05-03 23:41:25 -04:00
Jeremy Avigad	e7c174719b	fix typo	2017-03-02 17:08:00 -05:00
Jeremy Avigad	89d65b1dca	add is_short_exact.hlean	2017-03-02 17:06:13 -05:00