Theorem IsUnit.exists_right_inv

Modification history