Skip to content

Resolve "allow top-level "..." do denote that extra lemmas can be put here"

waldmann requested to merge 51-allow-top-level-do-denote-that-extra-lemmas-can-be-put-here into master

Closes #51 (closed)

Edited by waldmann

Merge request reports