{"push_id":1036231519,"size":1,"distinct_size":1,"ref":"refs/heads/linalg","head":"2c4a8356f6587b058054eef1cfb3f0924795704c","before":"4179dcbc0e266e0aa1ae9143f23c403d1afee0fa","commits":[{"sha":"2c4a8356f6587b058054eef1cfb3f0924795704c","author":{"email":"597e2d195b18d1f0b2b6530cee088a0ab0ed3ce2@gmail.com","name":"Rob Lewis"},"message":"refactor(algebra/matrix): rename theorems, split proof of inversion theorem","distinct":true,"url":"https://api.github.com/repos/rlewis1988/lean/commits/2c4a8356f6587b058054eef1cfb3f0924795704c"}]}