4 ms·
I think, you could also write Elliptic_curve_pt.Num_syntax.( (g ^ x) ^ y = g ^ xy ) instead of let open Elliptic_curve_pt.Num_syntax in ...
by a-nikolaev 6y ago
I think, you could also write
Elliptic_curve_pt.Num_syntax.( (g ^ x) ^ y = g ^ xy )
instead of let open Elliptic_curve_pt.Num_syntax in ...