const-unique.eqthy.md @master — view markup · raw · history · blame

theorem 1=1 proof 1=1 qed
theorem 2=2 proof 2=2 qed
theorem 1=2 
    proof 
        1=1
        1=2 
    qed