Theorem div_self_of_invertible

Modification history