Formalized functional analysis with semilinear maps.

Frdric Dupuis, Robert Y. Lewis, Heather Macbeth

Browse the full ITP paper archive.