Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-26 22:05 48997d7b

View on Github →

fix(data/set/basic): fix name of has_mem.mem.out (#13721)

Estimated changes

added theorem has_mem.mem.out
deleted theorem set.has_mem.mem.out