Renamed: ProjectionInFactorWithGivenPullback -> ProjectionInFactorOfPullbackWithGivenPullback
Swapped arguments for InjectionOfCofactor
Swapped arguments for ProjectionInFactor
testfiles: equality for generalized morphisms