Theorem Function.cantor_injective

Modification history