Commit History

作者 SHA1 備註 提交日期
  Ian Goldberg c4c86e28d1 In a disjunction branch, convert statements about equality of public Scalars to statements about equality of public Points by multiplying each side by a generator 6 月之前