Transport of the diagram condition along equivalence of free involutions (Propositions 9 and 10)

Initializing...

Transport of the diagram condition along equivalence of free involutions (Propositions 9 and 10) · Prove2Me