Theorem scotteq

Description: Closed form of scotteqd . (Contributed by Rohan Ridenour, 9-Aug-2023)

	Ref	Expression
Assertion	scotteq	$$⊢A=B\to ScottA=ScottB$$

Proof

Step	Hyp	Ref	Expression
1		id	$$⊢A=B\to A=B$$
2	1	scotteqd	$$⊢A=B\to ScottA=ScottB$$