4 ms·

Thanks for this. "Proof idea" is a phrase that concretizes a vague intuition I had about something that exists between a theorem and it's proof