Closed sennierer closed 1 year ago
delete of lemmas from the library is not working
mentioned in commit 7942ad06c9d46bb8d8b652c095c90e763aa5e8ed
delete of lemmas from the library is not working