Theorem nhds_translation_mul_inv

Modification history