Theorem set.infinite.to_subtype
Modification history
2022-09-08 20:32
src/data/set/finite.lean
refactor(data/{finite,fintype}): redefine `infinite` in terms of `finite`, move to `data.finite.defs` (#16390)
Deleted set.infinite.to_subtypeView on Github →