Skip to content
Snippets Groups Projects

Prove more equivalences for closure operators on relations.

Merged Robbert Krebbers requested to merge robbert/relations_alt into master
Loading