{"push_id":921187730,"size":9,"distinct_size":9,"ref":"refs/heads/master","head":"28cceb5cbd17a30cfcd2bdff4f25d59af59a14f9","before":"f1d73830b2b48850b9f41cab52d3f65cde80b4d6","commits":[{"sha":"721f6c87bf8844a5f5ec9c9330241e3d9db9197d","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"feat(library/data/set/basic): add some theorems","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/721f6c87bf8844a5f5ec9c9330241e3d9db9197d"},{"sha":"31aa256b999283b4cbc671badc4f6e2d686ff671","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"feat(library/theories/measure_theory/sigma_algebra): start with definition and properties of sigma algebras","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/31aa256b999283b4cbc671badc4f6e2d686ff671"},{"sha":"173368801b6b91333691f1b6f7cb30e291fe17cd","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(library/algebra/interval): rename namespace, and move a theorem","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/173368801b6b91333691f1b6f7cb30e291fe17cd"},{"sha":"7600d045337a7ce0545bdc4dcd1b86e947063994","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"library/algebra/complete_lattice): fix typo in comment","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/7600d045337a7ce0545bdc4dcd1b86e947063994"},{"sha":"17f6ab3a710c33c99be9f583282c0eee1e4a4e1d","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(library/data/set/basic): fix spacing in notation","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/17f6ab3a710c33c99be9f583282c0eee1e4a4e1d"},{"sha":"4289daddcbf72d488279d18cf4fff25ba60a52b7","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"refactor(library/data/{set,finset}/basic,library/*): change notation for image to tick mark","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/4289daddcbf72d488279d18cf4fff25ba60a52b7"},{"sha":"d9118ded7681bf0c54d2d6092f90e8f2b429c83a","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"feat(library/theories/topology/basic): show that generated topology is initial","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/d9118ded7681bf0c54d2d6092f90e8f2b429c83a"},{"sha":"a22346e411f20a63dda427a5e8867b5bcde24ef6","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(lean/tests/lean/run/new_obtain{3,4}): adapt tests to new notation for image","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/a22346e411f20a63dda427a5e8867b5bcde24ef6"},{"sha":"28cceb5cbd17a30cfcd2bdff4f25d59af59a14f9","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"fix(lean/tests/lean/run/new_obtain{3,4}): adapt tests to new notation for image","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/28cceb5cbd17a30cfcd2bdff4f25d59af59a14f9"}]}