Gene Ontology Term: mitochondrial proton-transporting ATP synthase, catalytic core