ulkb.TheorySettings.generated_id_prefix#

TheorySettings.generated_id_prefix = '_'#

Prefix of generated ids.