fix(frontends/lean/structure_cmd): empty structures are structures (#739)
fix(frontends/lean/structure_cmd): empty structures are structures (#739)





leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean