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 _.