`BookProof.ChapterFreeFieldBornSignRepresentation.flipRepresentation_injective` : Function.Injective (flipRepresentation n)

Initializing...

`BookProof.ChapterFreeFieldBornSignRepresentation.flipRepresentation_injective` : Function.Injective (flipRepresentation n) · Prove2Me