Commit 2024-01-17 16:24 db84fa8e
View on Github →chore: correct hypothesis order in dot notation lemma (#9568)
Following a comment by @sgouezel, the hypothesis IsOpen s should be the first explicit argument.
chore: correct hypothesis order in dot notation lemma (#9568)
Following a comment by @sgouezel, the hypothesis IsOpen s should be the first explicit argument.