fact: Definition mx_point n m i j (x: X A A) : MX n m := box n m (fun i' j' => xif (eq_nat_bool i i' && eq_nat_bool j j') x 0).
imports: ATBR(Common) ATBR(Classes) ATBR(Graph) ATBR(MxGraph) ATBR(SemiLattice) ATBR(BoolView)