Previous: constanterNext: constantia#1


Choose a lemma:

  1. constantia#1
  2. constantia#2