Léo Ducas 🇺🇦 ∀,≡,⊂ on Nostr: I'm guessing "not really". I interpret the quote as a complaint that such a proof not ...

I'm guessing "not really". I interpret the quote as a complaint that such a proof not providing enough insight as to "why" the two quantities should be equal. But I'd love access to the full text, I am pretty sure she has a more articulate point.