homomorphism of strong promonads

Last updated Jul 23, 2024

• Strong promonad