← Back to context

Comment by resters

1 day ago

This is useful to anyone who wants to reason through the proofs constructively and tinker with the approaches. Thank you!

1 comment

resters

Reply

ndrwnaguib 1 day ago

Thank you!