Commit cf2c0829 authored by Joseph Tassarotti's avatar Joseph Tassarotti

Show that bupd can be (essentially) defined in terms of other connectives.

parent f891015e
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment