mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(analysis/transcendental): e is transcendental

Open Ruben-VandeVelde opened this issue 3 years ago • 1 comments

#3884, second attempt.

Open in Gitpod

Ruben-VandeVelde avatar Aug 09 '22 09:08 Ruben-VandeVelde

2k lines makes for a huge PR. I'd say anything above 300 is already large by mathlib standards. Is there any hope of splitting this off?

vihdzp avatar Aug 09 '22 15:08 vihdzp

Obsoleted by https://github.com/leanprover-community/mathlib4/pull/6718 :tada:

Ruben-VandeVelde avatar Aug 22 '23 08:08 Ruben-VandeVelde