Lean 3.46.0

Stream: general

[Violeta Hernández]

What changed in this new version? I started the bump and I've already come across two different non-terminal simps breaking (in fortunately convenient ways)

[Violeta Hernández]

The one thing I know changed is that docs#is_strict_total_order is now exactly the same as the current docs#is_strict_total_order'

[Violeta Hernández]

Ah, it was only that

[Violeta Hernández]

I got this to build much faster than I expected

[Violeta Hernández]

#15994

[Violeta Hernández]

Still, weird there were any differences besides that

[Violeta Hernández]

Oh wait, I think I see what happened. I strengthened an import, and that must have added some simp lemmas that didn't exist before, which broke the non-terminal simps.