Commit 2e98600d authored by Zhen Zhang's avatar Zhen Zhang

Add lemmas about Qp and fraction

parent 5c27499c
Pipeline #2756 passed with stage
in 9 minutes and 32 seconds