core: fix typo in lemma name

2 jobs for master in 10 minutes and 23 seconds (queued for 18 minutes and 49 seconds)
Status Name Job ID Coverage
  Test
passed iris-coq8.5.3 #2045
coq

00:05:45

passed iris-coq8.6 #2046
coq

00:04:37