def remainder {e s : Nat} (a b : PackedFloat e s) : PackedFloat e s

Equations

• One or more equations did not get rendered due to their size.