Skip to content

add TransAlgStruct.lean #8

add TransAlgStruct.lean

add TransAlgStruct.lean #8