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.

Estimated changes