The congruency postulate for the triangles is:
ΔABC ≅ ΔFDE by SAS
How to find the congruency postulate?
There are different triangle congruency postulate such as:
SAS congruency postulate
ASA congruency postulate
AAS congruency postulate
SSS congruency postulate
HL congruency postulate
In this case, we see that:
∠A ≅ ∠F
AC ≅ EF
AB ≅ DF
Thus, the congruency postulate here is SAS congruency postulate