`BookProof.ChapterMackeyImprimitivity.mackeyMap_injective` : Function.Injective (mackeyMap S s)

Initializing...

`BookProof.ChapterMackeyImprimitivity.mackeyMap_injective` : Function.Injective (mackeyMap S s) · Prove2Me