Fix mod_inv precondition: any x is invertible modulo 1#622

tautschnig wants to merge 1 commit into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:fix-mod-inv-preconditiontautschnig/verify-rust-std:fix-mod-inv-preconditionCopy head branch name to clipboard