fact: Definition Map3_paths A A' (AR : Param40.Rel A A') (x : A) (x' : A') (xR : AR x x')(y : A) (y' : A') (yR : AR y y') : Map3.Has (pathsR A A' AR x x' xR y y' yR).
imports: Coq(ssreflect) HoTT(HoTT) HoTT_additions Hierarchy