Paul's self-notes for elliptic_curve.mmt prototype
Paul still had notes that may or may not have been taken care of.
// notes for later:
// theory ec_14b7
// include ?ec
// this : elliptic_curve
// def_conductor : ded conductor this = conductor_value
// conductor_value : int
// interval_conductor: ded conductor this € [1,17]