Commit 2024-12-30 19:05 3616fa83
View on Github →chore(Denumerable): simplify proof of ofNat_surjective (#20344) No need for auxiliary theorem, and a bit of simplification.
chore(Denumerable): simplify proof of ofNat_surjective (#20344) No need for auxiliary theorem, and a bit of simplification.