Draft:Joyal theorem

1. REDIRECT Joyal's theorem

{{Redirect category shell|

{{R from move}}

}}