A cluster of several membrane proteins found in the mitochondrial cristae (and bacterial plasma membrane) that function in chemiosmosis with adjacent electron transport chains, using the energy of a hydrogen-ion concentration gradient to make ATP. ATP synthases provide a port through which hydrogen ions diffuse into the matrix of a mitrochondrion.