ax-xinmo2-skari2 - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-xinmo2-skari2

Axiom ax-xinmo2-skari2 724

Description: Definitionally, xinmo2 is drawn from skari2.

**Assertion**
Ref	Expression
ax-xinmo2-skari2	⊢ ganai ko'a se xinmo ko'e gi su'o da zo'u su'o de zo'u su'o di zo'u ko'a se skari da de di

Distinct variable group: da , de , di

This axiom is referenced by: (None)