I'm assuming those steps in the definitions of 2 and 4, but you're right that th...

		Natsu on June 20, 2022 \| parent \| context \| favorite \| on: Ask HN: How to learn mathematical proofs from scra... I'm assuming those steps in the definitions of 2 and 4, but you're right that this is part of why it gets so tedious.