'Monic implies pullback with identities' lemma added.
	modified:   PullbacksLemmas.agda