chore: drop some deprecated lemmas (#2483) Forward-port leanprover-community/mathlib#18492
data.real.nnreal
dc6c365e751e34d100e80fe6e314c3c3e0fd2988
b2ff9a3d7a15fd5b0f060b135421d6a89a999c2f