![]() |
brismu bridi |
< Previous
Next >
Nearby theorems |
|
Mirrors > Home > Home > Th. List > ax-mreselbri-paska |
Description: Automatically generated axiom: {paska} is {mreselbri} |
Ref | Expression |
---|---|
ax-mreselbri-paska | ⊢ mreselbripaska |
Copyright terms: Public domain | W3C validator |