Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
isa-afp
afp-devel
Repository
44b4c493baeaf09864ae29f1c920e44b03e42cb5
Switch branch/tag
afp-devel
thys
Complex_Geometry
More_Transcendental.thy
Find file
Blame
History
Permalink
a massive simplification, thanks to sledgehammer, etc.
· ad3482c6e1ad
Lawrence Paulson
authored
Feb 19, 2021
ad3482c6e1ad