HomeIsabelle/Phabricator

Scott continuity not assuming strictness

Description

Scott continuity not assuming strictness

Details

Provenance
Akihisa Yamada <akihisa.yamada@aist.go.jp>Authored on
Parents
rAFP7812e4b5109f: updated description
Branches
Unknown
Tags
Unknown