ax-mivyselbri-bambu - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-mivyselbri-bambu

Axiom ax-mivyselbri-bambu 766

Description: Automatically generated axiom: {bambu} is {mivyselbri}

**Assertion**
Ref	Expression
ax-mivyselbri-bambu	⊢ mivyselbribambu

This axiom is referenced by: (None)