HomeIsabelle/Phabricator
Diffusion afp-devel f3289a39d4bf

updated:Standard Borel Spaces
f3289a39d4bf
Actions

Description

updated:Standard Borel Spaces

Details

Provenance
Michikazu Hirata <hirata.m.ac@m.titech.ac.jp>Authored on
Parents
rAFP22721115789f: Miscellaneous changes to Complex_Bounded_Operators.
Branches
Unknown
Tags
Unknown

Event Timeline

Michikazu Hirata <hirata.m.ac@m.titech.ac.jp> committed rAFPf3289a39d4bf: updated:Standard Borel Spaces.Sun, Apr 21, 2:25 AM

Changes (2)

PathSize
thys/
Standard_Borel_Spaces/

rAFPf3289a39d4bf

View Options

thys/Standard_Borel_Spaces/Abstract_Metrizable_Topology.thy

Loading...
View Options

thys/Standard_Borel_Spaces/StandardBorel.thy

Loading...