Theorem ProfiniteGrp.toLimit_injective

Modification history