Theorem Quandle.fix_inv

Modification history