Theorem Subtype.map_def

Modification history

2024-03-21 15:28
Mathlib/Data/Subtype.lean
chore: work around simp issues in future nightlies (#11546)
Added Subtype.map_defView on Github →