証明 リフレクションを使って集合の問題を解いてみる証明CoqssreflectCoq SSReflectによる鳩の巣原理の証明証明CoqssreflectCoq 有限集合の濃度の存在を証明する証明CoqssreflectMathCompCoq MathComp における古典論理証明CoqssreflectMathCompCoq
リフレクションを使って集合の問題を解いてみる証明CoqssreflectCoq SSReflectによる鳩の巣原理の証明証明CoqssreflectCoq 有限集合の濃度の存在を証明する証明CoqssreflectMathCompCoq MathComp における古典論理証明CoqssreflectMathCompCoq
