geometry → sets Relation

File in srcmainmodulesdedekindgeometry	Includes file in srcmainmodulesdedekindsets
function.cppm	sets.cppm
lattice.cppm	sets.cppm