mathlib3 is frozen

Stream: mathlib4

[Jeremy Tan]

By this point mathlib3 should be frozen (cf. https://leanprover.zulipchat.com/#narrow/stream/113486-announce/topic/Freeze.20of.20mathlib.203/near/368643609)