Skip to content

Introduce the T2toST2Concept and ST2toT2Concept concepts. Remove usag…#490

Merged
thelfer merged 1 commit intomasterfrom 486-tfel-math-introduce-the-st2tot2concept-and-the-t2tost2conceptJan 26, 2024