Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.is_topological_basis_Ioo_rat

Modification history

2018-07-19 15:34

analysis/real.lean

feat(analysis/measure_theory): optimize proofs; trim, is_complete

Added real.is_topological_basis_Ioo_rat View on Github →