Type Definition EdwardsProjective
Other items inark_ed_on_mnt4_753
type EdwardsProjective = GroupProjective<EdwardsParameters>;