namespace http://mathhub.info/MitM/core/elliptic_curves ❚

import base http://mathhub.info/MitM/Foundation ❚
import num http://mathhub.info/MitM/core/arithmetics ❚

theory Base : base:?Logic =
	include ☞num:?IntegerArithmetics ❙
	include algebra?Field ❙
	include ☞base:?Matrices ❙
	include algebra?RationalPolynomials ❙
	power_series : type ❙                                      
❚