advancedresearch/prop

Fix error in comment to `para_to_or`

bvssvni opened this issue · 0 comments

bvssvni commented

This should be false^b, not b^false.