Skip to content
GitLab
Explore
Sign in
[doc] missing cloned axioms & lemmas
In the generated doc for cloned modules, the list of cloned axioms and lemmas is missing.