Theorem SetLike.mem_mk

Modification history

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