Commit 2020-08-18 08:45 65382743
View on Github →chore(data/set/finite): explicit f
in finset.preimage s f hf
(#3851)
Otherwise pretty printer shows just finset.preimage s _
.
chore(data/set/finite): explicit f
in finset.preimage s f hf
(#3851)
Otherwise pretty printer shows just finset.preimage s _
.