Skip to content
Snippets Groups Projects
Commit 2b890c5a authored by Max Ole Elliger's avatar Max Ole Elliger :penguin:
Browse files

Stated ite-cbn/cbv-statements again as part of the basic relation.

parent 5ffdc269
1 merge request!3Resolve "Remove f_ite and so on"
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment