user_15590071
user_15590071
@user_15590071
0 reputation
0 answers
1 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. How can I prove `add_le_cases` (`forall n m p q, n + m <= p + q -> n <= p \/ m <= q`)
    2 votes
    1 answers