{"push_id":817825961,"size":1,"distinct_size":1,"ref":"refs/heads/finite-sums","head":"c038a716dab3cedbbbb89bee19f6501b3ee1e40f","before":"b020bb4ee0fc3e0e0209dfb6cf1dd2c51c2555c0","commits":[{"sha":"c038a716dab3cedbbbb89bee19f6501b3ee1e40f","author":{"email":"2591e5f46f28d303f9dc027d475a5c60d8dea17a@math.uiuc.edu","name":"Daniel R. Grayson"},"message":"finish proof\n\n... of\n\nDefinition sequenceProductCheck {M:monoid} (x:Sequence M) (m:M) :\n  sequenceProduct (append x m) = sequenceProduct x * m.","distinct":true,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/c038a716dab3cedbbbb89bee19f6501b3ee1e40f"}]}