Open chrismwendt opened 10 years ago
I = a -> a K = a b -> a S = a b c -> a c (b c)
Reduction based on functions could replace the SK basis.
Added in a12e97439d17afcdbbfaa9a0b52639c595eeb4a0.
Reduction based on functions could replace the SK basis.