Theorem Equiv.pointReflection_fixed_iff_of_injective_bit0

Modification history