{"push_id":720152059,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5-trunk-mono","head":"0b313c4f45d0b49783bebb16ca5364d40a5637bb","before":"47339811ac2a8bb712e5b8f6fb8a04f6fd143440","commits":[{"sha":"0b313c4f45d0b49783bebb16ca5364d40a5637bb","author":{"email":"20053a48688cff52b9d62b07b361c9ccc1cfc644@cs.harvard.edu","name":"Gregory Malecha"},"message":"a non-case analysis theorem for induction.","distinct":true,"url":"https://api.github.com/repos/gmalecha/mirror-core/commits/0b313c4f45d0b49783bebb16ca5364d40a5637bb"}]}