pub const fn fiat_p521_sub(arg1: &[u64; 9], arg2: &[u64; 9]) -> [u64; 9]
The function fiat_p521_sub subtracts two field elements.
Postconditions: eval out1 mod m = (eval arg1 - eval arg2) mod m