Theorem unitsCenterToCenterUnits_injective

Modification history