Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-31 11:42 07190764

View on Github →

chore(topology/instances/rat): add namespace rat (#16306)

Estimated changes

modified theorem rat.continuous_mul
modified theorem rat.totally_bounded_Icc
modified theorem rat.uniform_continuous_abs
modified theorem rat.uniform_continuous_add
modified theorem rat.uniform_continuous_neg