Commit Graph

2 Commits (44d6560f2714bd0f82ad4b643aa874fedac8920d)

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