It will be the same
If ABC.com is full Office 365 "or ad sync users synced", you need to:
Add domain DEF.com to the tenant "without change MX"
Sync the DEF.com users to Office 365 tenant
Setup Hybrid configuration in DEF.com
Migrate the mailbox
You cant try with only one mailbox to be sure
Dont hesitate to contact me
Please let me know if you would like further assistance.
Blog: www.chader.fr