cleaning in PullbackLemmas
	modified:   PullbacksLemmas.agda