Did you know ... Search Documentation:
Predicate crypto_modular_inverse/3