Skip to content

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

Closed
dselsam wants to merge 1 commit into
leanprover:masterfrom
dselsam:nested_namespace_prefix
Closed

doc(elabissues): namespace A.B vs namespace A namespace B#57
dselsam wants to merge 1 commit into
leanprover:masterfrom
dselsam:nested_namespace_prefix

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

208252f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs