Skip to content
Snippets Groups Projects
user avatar
Christian Kamm authored
a op b -> !(a invop b)
and
a op b -> b flipop a
f1af5fb4
History