Commit 2024-11-11 16:21 6caaed66

View on Github →

feat: add a lemma Set.MapsTo.preimage_mem_nhdsWithin (#18851)

Estimated changes