Commit 2024-10-09 17:50 17659b7a

View on Github →

chore(Data/Set/Image): [s : Setoid α] => {s : Setoid α} (#17588)

Estimated changes

modified theorem Set.range_quotient_mk