HomeIsabelle/Phabricator

correction of typos in the abstract (Banach-Steinhaus)

Description

correction of typos in the abstract (Banach-Steinhaus)

Details

Committed
paulson <lp15@cam.ac.uk>Mon, May 11, 12:26 PM
Parents
rAFPa96e67c30c51: sitegen for Matrices_for_ODEs
Branches
Unknown
Tags
Unknown