Skip to content

word_lib+crefine: move lemmas to Word_Lib #2462

word_lib+crefine: move lemmas to Word_Lib

word_lib+crefine: move lemmas to Word_Lib #2462

Annotations

1 warning

Theory Linter

succeeded Mar 17, 2024 in 35s