Skip to content

prove PathIn.nil_eq_append_iff_both_eq_nil #616

prove PathIn.nil_eq_append_iff_both_eq_nil

prove PathIn.nil_eq_append_iff_both_eq_nil #616

This job succeeded