Actually assert the emptiness of composed idempotent substitutions’ occurring variables.
Actually assert the emptiness of composed idempotent substitutions’ occurring variables.

antitypical/Manifold,antitypical/Manifold