Theorem SemiconjBy.inv_right

Modification history