[STATEMENT]
lemma flrestriction_vempty[simp]: "0 \<restriction>\<^sup>l\<^sub>\<bullet> A = 0"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. []\<^sub>\<circ> \<restriction>\<^sup>l\<^sub>\<bullet> A = []\<^sub>\<circ>
[PROOF STEP]
by auto