  We prove that the Yoneda Ext-algebra of a Takeuchi smash product is the
graded Takeuchi smash product of the Yoneda Ext-algebras of the two algebras or
modules involved. As an application, we prove that graded Takeuchi smash
products preserve Artin-Schelter regularity, and describe the Nakayama
automorphism of the product.
