feat(library/standard/nat): prove all(?) theorems for le and lt Prove all simple theorems involving only add, mul, le, lt Nothing involving pred, though
feat(library/standard/nat): prove all(?) theorems for le and lt
Prove all simple theorems involving only add, mul, le, lt
Nothing involving pred, though

leodemoura/libraries