Add linearization for at_least_AdN
This commit is contained in:
1 parent
7c6690a431
commit
84fff1e096
1 file changed
+2
@@ -272,4 +272,6 @@ concrete StructuralTur of Structural = CatTur **
|
||||
|
||||
at_most_AdN = ss "en fazla" ;
|
||||
|
||||
at_least_AdN = ss "en az" ;
|
||||
|
||||
}
|
||||
Reference in new issue
Block a user