[−][src]Constant l_group_formulas::free_group_term::FREE_GROUP_IDENTITY

pub const FREE_GROUP_IDENTITY: FreeGroupTerm;