Theorem SemiconjBy.inv_inv_symm_iff

Modification history