Add Proofs
trait to consolidate aggregate fns
#408
Merged
Loading
Proofs
trait to consolidate aggregate fns
#408