paulh123456
Results
1
comments of
paulh123456
I believe the above trivial solution set works for any functor F. ``` Given f : X -> F A Defining S1 f = C.id, ϕ f = f gives...