Theorem nhds_translation_mul_inv₀

Modification history