File:Projective-representation-lifting.svg loading ...