Joyal’s lifting theoremDate: October 10, 2022 Bluesky Facebook LinkedIn Mastodon X (formerly Twitter) Previous Next