{"push_id":644586811,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"777b2ba556c748ab705b43a93204a17354594da1","before":"e0cdf63483257998393b38c230ffbf83fcb463b3","commits":[{"sha":"777b2ba556c748ab705b43a93204a17354594da1","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(12): add a possible constructive version for the theorem has_left_inverse_of_injective","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/777b2ba556c748ab705b43a93204a17354594da1"}]}