Theorem SemiconjBy.units_inv_symm_left_iff

Modification history