MathClasses.implementations.fast_naturals
Require Import
BigN interfaces.naturals.
Require Export
NType_naturals.
Module BigN_Integers := NType_Integers BigN.
BigN interfaces.naturals.
Require Export
NType_naturals.
Module BigN_Integers := NType_Integers BigN.