Theorem SemiconjBy.inv_right_iff

Modification history