Theorem homothety_invOf_two

Modification history