fact: Definition pmap_compose_assoc {A B C D : pType} (h : C ->* D) (g : B ->* C) (f : A ->* B) : (h o* g) o* f ==* h o* (g o* f).
imports: Basics Types PathAny WildCat Truncations.Core ReflectiveSubuniverse Extensions