doc(elabissues): namespace A.B vs namespace A namespace B - #57

doc(elabissues): namespace A.B vs namespace A namespace B#57

dselsam wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

dselsam:nested_namespace_prefixdselsam/lean4:nested_namespace_prefixCopy head branch name to clipboard