NFE Home New Foundations Explorer < Previous   Wrap >
Nearby theorems
Mirrors  >  Home  >  NFE Home  >  Th. List  >  conventions Unicode version

Theorem conventions 6338
Description: Unless there is a reason to diverge, we follow the conventions of the Metamath Proof Explorer (MPE, set.mm).

(Contributed by the Metamath team, 20-Jan-2024.) (New usage is discouraged.)

Hypothesis
Ref Expression
conventions.1
Assertion
Ref Expression
conventions

Proof of Theorem conventions
StepHypRef Expression
1 conventions.1 1
Colors of variables: wff setvar class
This theorem is referenced by: (None)
  Copyright terms: Public domain W3C validator