add a small test of the grad lemma
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 27 Jan 2016 20:35:27 +0000 (15:35 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 27 Jan 2016 20:35:27 +0000 (15:35 -0500)
commitc9313866391efc99d2f8db5998753511bd734b32
tree461155b122b4d62c717dffb98b95315917734ae1
parent30b6e14f5c9356dfa9bdc52d98d11d60710a2830
add a small test of the grad lemma
examples/equiv.ctt