Skip to content

remove ' and add ⟨⟩ in lean autopairs (#10688) #3727

remove ' and add ⟨⟩ in lean autopairs (#10688)

remove ' and add ⟨⟩ in lean autopairs (#10688) #3727