mathlib3
feat(data/nat/gcd): add simple lemmas
#1382
Merged
Overview
Commits
2
Changes
View On GitHub
Commits
  • feat(data/nat/gcd): more simple lemmas
    urkud committed 6 years ago
  • Prove `iff` instead of one side implication
    urkud committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading