clarify lines 65-68
1 parent 81f7fd5 commit 51ba9a44dbe6a30bb9175776d23170f37aca7f82
Gabriel Scherer authored on 31 Mar 2020
Showing 1 changed file
View
proofs.org