Theorem SemiconjBy.inv_symm_left_iff

Modification history