Theorem Equiv.injective_pointReflection_left_of_injective_bit0

Modification history