ax-mivyselbri-since - brismu bridi

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

Syntax Definition ax-mivyselbri-since 878

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

**Assertion**
Ref	Expression
ax-mivyselbri-since	mivyselbri since

This syntax is primitive. The first axiom using it is ax-since-respa 997.

Colors of variables: sumti selbri bridi