wip-cwf-sigma-structure

Elisabeth.Stenholm

@Elisabeth.Bonnevier

2205fe19 · wip CwF · Feb 02, 2024

Wip on equalities of substitutions on CwFs + definition of Sigma structure