Theorem invertible_unique

Modification history