sets → category Relation

File in srcmainmodulesdedekindsets	Includes file in srcmainmodulesdedekindcategory
boundaries.cppm	category.cppm
cardinality.cppm	category.cppm
computability.cppm	category.cppm
expressions.cppm	category.cppm
extensional.cppm	category.cppm
heterogeneous.cppm	category.cppm
quantifier.cppm	category.cppm
recursion.cppm	category.cppm
singleton.cppm	category.cppm
terms.cppm	category.cppm