Mathlib v3 is deprecated. Go to Mathlib v4

Theorem topological_space.subset_trans

Modification history

2021-03-09 21:43
src/topology/separation.lean
feat(topology/separation): add API for interaction between discrete topology and subsets (#6570) …
Added topological_space.subset_transView on Github →