Der beste Ersatz für ltac ist snf. |
Die besten Alternativen zu ltac können folgend geordnet werden: |
|||||||||||||||||
|
|||||||||||||||||
Eine gute Alternative für ltac ist nicht aufgelistet? Schlagen Sie etwas vor! |
Zur Zeit habe ich keine Ahnung über Begleiter von ltac |
Andere Ideen? Dann den Begleiterbegriff zu ltac hier eingeben: Schlagen Sie etwas vor! |
ltac |
|
snf |
|
ltch |
|