{"push_id":611445729,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1d5b940238b213ef04af65edd4d6752f01dd7873","before":"6df742c581e18384ca266bdc9849f8a96c70bf36","commits":[{"sha":"1d5b940238b213ef04af65edd4d6752f01dd7873","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"clarified lemmas 40 to 42","distinct":true,"url":"https://api.github.com/repos/benediktahrens/coinductives/commits/1d5b940238b213ef04af65edd4d6752f01dd7873"}]}