Commit Graph

2 Commits (9527bee77edbe9d3b80164a857d5cae106151c2c)

Author SHA1 Message Date
Jon Eugster d2be90a8a0 bump mathlib and use Even/Odd. 3 years ago
Jon Eugster 87f943a08c levels: negation, nat-basics 4 years ago