Closed sennierer closed 2 years ago
In GitLab by @PhilipRoeggla on Mar 7, 2022, 12:39
mentioned in commit 76cc764ab04c54093e13e6c66d16289a9dcb6384
In GitLab by @PhilipRoeggla on Mar 7, 2022, 12:46
@sennierer This also applied to the Lemma Manager.
In GitLab by @PhilipRoeggla on Mar 7, 2022, 10:16