属性付けコマンドattributeとルート名前空間_root_

例：

attribute [local simp] Nat.add_assoc Nat.add_comm Nat.add_left_comm

ルート名前空間は無名だが、_root_ という名前で参照できる。