Metamath Proof Explorer


Theorem fdmOLD

Description: Obsolete version of fdm as of 29-May-2024. (Contributed by NM, 2-Aug-1994) (Proof modification is discouraged.) (New usage is discouraged.)

Ref Expression
Assertion fdmOLD F:ABdomF=A

Proof

Step Hyp Ref Expression
1 ffn F:ABFFnA
2 fndm FFnAdomF=A
3 1 2 syl F:ABdomF=A