Theorem heq_iff_eq
Modification history
2023-06-30 11:29
src/logic/basic.lean
refactor(*): move all `mk_simp_attribute` commands to 1 file (#19223)
Modified heq_iff_eqView on Github →2017-11-23 23:33
logic/basic.lean
feat(data/finset): fintype, multiset.sort, list.pmap
Modified heq_iff_eqView on Github →