Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-20 03:08 26fcfbc9

View on Github →

feat(topology): continuous_pi_iff pi.has_continuous_mul pi.topological_group (#6689)

Estimated changes

added theorem continuous_pi_iff