Theorem SetLike.mem_of_subset

Modification history

2023-10-20 20:51
Mathlib/Data/SetLike/Basic.lean
feat: add a `SetLike` default rule set for `aesop` (#7111) …
Added SetLike.mem_of_subsetView on Github →