Theorem inv2

Description: The intersection of the universal class with a class is itself. A commuted form of inv1 . (Contributed by BTernaryTau, 24-Jun-2026)

	Ref	Expression
Assertion	inv2	$$⊢\mathrm{V}\cap A=A$$

Proof

Step	Hyp	Ref	Expression
1		inv1	$$⊢A\cap \mathrm{V}=A$$
2	1	ineqcomi	$$⊢\mathrm{V}\cap A=A$$