user_7605614
user_7605614
@user_7605614
0 reputation
0 answers
0 questions
About Me
// Hello, World !
Top Answers
  1. How to prove that x < y → x ≤ y - 2 if both are odd or both are even in Lean?
    2 votes
Top Questions