Now that we have the new plugin mechanism, we can port the old examples back into the new system. Surjection Injection Bijection Note that we do not aim to perfectly replicate the old examples, but ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback