Closed JacquesCarette closed 3 years ago
simple synonym for Kernel Pair. Useful in defining pieces that will eventually (!) lead to Pretopos.
simple synonym for Kernel Pair. Useful in defining pieces that will eventually (!) lead to Pretopos.