groupoid vs lava

groupoid

noun
  • A magma: a set with a total binary operation. 

  • A set with a partial binary operation that is associative and has identities and inverses. 

lava

noun
  • Magma. 

  • The molten rock ejected by a volcano from its crater or fissured sides. 

  • A shade of red, named after the volcanic lava. 

How often have the words groupoid and lava occurred in a corpus of books? (source: Google Ngram Viewer )