Theorem SetLike.mem_mk_set

Modification history

2025-04-06 17:49
Mathlib/Data/SetLike/Basic.lean
feat: Descriptive.tree basic API (#21234) …
Added SetLike.mem_mk_setView on Github →