mathlib3
feat(topology/subset_properties): fintype.compact_space
#1786

Merged

Commits

feat(topology/subset_properties): fintype.compact_space

jcommelin committed 6 years ago
Merge branch 'master' into jcommelin-patch-3

mergify[bot] committed 6 years ago

Loading