ax-ragyselbri-besna - brismu bridi

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

Axiom ax-ragyselbri-besna 835

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

**Assertion**
Ref	Expression
ax-ragyselbri-besna	⊢ ragyselbribesna

This axiom is referenced by: (None)