{"push_id":625100313,"size":1,"distinct_size":1,"ref":"refs/heads/topology-typeclasses-support","head":"7ca7cc120403b163ad333503ef80c3fb47a49b43","before":"4ad354c50f73758c094f43da5fc0f2c6dd8e3da2","commits":[{"sha":"7ca7cc120403b163ad333503ef80c3fb47a49b43","author":{"email":"287c97e7b76ec95caea2fe10277ea5cd3b55bc84@gmail.com","name":"Daniel Schepler"},"message":"Refactor some of the identities internally proved in Topology results into ZornsLemma","distinct":true,"url":"https://api.github.com/repos/dschepler/coq-zorns-lemma/commits/7ca7cc120403b163ad333503ef80c3fb47a49b43"}]}