Moved some lemmas about limits to Complex_Main
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFPd7a872772538: formally augmented corresponding rules for field_simps
- Branches
- Unknown
- Tags
Moved some lemmas about limits to Complex_Main Tags None Subscribers None |