Previous: constagnoNext: constans#1


Choose a lemma:

  1. constans#1
  2. constans#2