Post #2854485

I may think it is a trivial work in maths, but seems that it's very hard in Lean!!!!! Is that because of they lean cannot do some construction work or calculating work?