{"push_id":849255124,"size":1,"distinct_size":1,"ref":"refs/heads/calculus-th-3-5-1","head":"0b357624999d4c47ef47c8a982bb87e6de0fb2bf","before":"6e779bad67ad48434a312034be527875f74f90e2","commits":[{"sha":"0b357624999d4c47ef47c8a982bb87e6de0fb2bf","author":{"email":"42c2e503b9b6c595065774cf3642afa53ed16cc6@gmail.com","name":"Egor Suvorov"},"message":"term3/calculus/01: proof of Th. 3.5.1: fix minor notation issue","distinct":true,"url":"https://api.github.com/repos/SPbAU-Bach-2018/Lectures/commits/0b357624999d4c47ef47c8a982bb87e6de0fb2bf"}]}