optimization → sequences Relation

File in srcmainmodulesdedekindoptimization	Includes file in srcmainmodulesdedekindsequences
closure.cppm	sequences.cppm