Theorem mellin_comp_inv

Modification history