Skip to content

Add mereology.

The file mereology consists of lots of proofs and axioms for related to parthood.

Edited by Manikaran

Merge request reports