law lsame_refl

minebender-game@1.0.0.0 · proof_walk.bend:86

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/LAWS.bend as L

86law lsame_refl:
87  for +p: T.Pos
88  {L.same(p, p) == True{} : Bool}