ax-simsa-sym - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-simsa-sym

Axiom ax-simsa-sym 289

Description: {simsa} is symmetric.

**Assertion**
Ref	Expression
ax-simsa-sym	⊢ go ko'a simsa ko'e ko'i gi ko'e simsa ko'a ko'i

This axiom is referenced by: (None)