mathlib3
ef55dca8 - Update src/data/pnat/basic.lean
Commit
View On GitHub
Commit
3 years ago
Update src/data/pnat/basic.lean Co-authored-by: Kevin Buzzard <k.buzzard@imperial.ac.uk>
Author
PatrickMassot PatrickMassot
Parents
0f8aa6a5
FAQ Terms Privacy Refunds Impressum
Loading