Skip to content

Add countability for Q, Qc, and Qp

Hai Dang requested to merge haidang/stdpp:hai/QpCountable into master

Addded countability proofs for Q, Qc and Qp.

Merge request reports