Question: When was the monk community installed?
Sentence: The proven origins are that in the 960s or early 970s, Saint Dunstan, assisted by King Edgar, installed a community of Benedictine monks here.
Answer in sentence: yes