P

Initializing...

The Reidemeister number is monotone under extension by a normal invariant subgroup (Lemma 2.2) · Prove2Me