GO:0000275; C:mitochondrial proton-transporting ATP synthase complex, catalytic core F(1); IEA:InterPro.
GO:0046933; F:proton-transporting ATP synthase activity, rotational mechanism; IEA:InterPro.
GO:0046961; F:proton-transporting ATPase activity, rotational mechanism; IEA:InterPro.
GO:0015986; P:ATP synthesis coupled proton transport; IEA:InterPro.