Commit 2025-07-14 20:27 9aeee99d

View on Github →

feat: Subtype.map_{eq,ne} (#27012)

Estimated changes

added theorem Subtype.map_eq
added theorem Subtype.map_ne