Normal_sub-semi-group · LibMeta · SciLib