PR #1603 feat(data/nat): a lemma about min_fac - SemanticDiff

Commits

feat(data/nat): a lemma about min_fac

kim-em committed 6 years ago
feat(data/nat): a lemma about min_fac

kim-em committed 6 years ago
use Rob's proof

kim-em committed 6 years ago
fix

kim-em committed 6 years ago
let's play golf

kim-em committed 6 years ago
newline

kim-em committed 6 years ago
use Chris' proof

Scott Morrison committed 6 years ago
cleaning up

Scott Morrison committed 6 years ago
rename per Chris' suggestions

kim-em committed 6 years ago
Merge branch 'master' into min_fac_le_div

mergify[bot] committed 6 years ago

Loading