Theorem conventions 6338

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

• Community. The Metamath mailing list also covers New Foundations set theory and is at: https://groups.google.com/g/metamath.

(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

Step	Hyp	Ref	Expression
1		conventions.1	1 ⊢ φ

This theorem is referenced by: (None)