/sci/ - Science & Math

>>11777432
I don't want to show too much but maybe this is an example of what I mean. For context: We want to show something for the set M, and we know a previous theorem shows it for slices of M (in a certain sense). In a lecture or book the prof would write "Approximte M and apply theorem x.y to slices of M". Then you say okay that makes sense, but to rigorously write it down would take me a few pages and half an hour. Well, I did write down a bunch of notation to do it more rigorously (the pic just shows the approximation of M by cubes).