ax-skari-ckaji - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-skari-ckaji

Axiom ax-skari-ckaji 593

Description: Colors are extensionally defined in terms of {skari}.

**Assertion**
Ref	Expression
ax-skari-ckaji	⊢ ganai ko'a skari ko'e ko'i ko'o gi ko'a ckaji ko'e

This axiom is referenced by: (None)