Library additions.Demo_power

From additions Require Import Monoid_def Monoid_instances Pow.
Open Scope M_scope.


Import Uint63.
Search (Z → int).
Coercion of_Z : Z >-> int.