brismu bridi		< Previous   Next > Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  ax-ragyselbri-galxe

---

Syntax Definition ax-ragyselbri-galxe 849

Description: Automatically generated axiom: {galxe} is {ragyselbri}

Assertion

Ref	Expression
ax-ragyselbri-galxe	ragyselbri galxe

---

Copyright terms: Public domain

W3C validator