Diffusion afp-devel ba90253ef12d

updated: standard Borel
ba90253ef12d
Actions

Tags

None

Subscribers

None

Description

updated: standard Borel

Details

Provenance

Michikazu Hirata <hirata.m.ac@m.titech.ac.jp>

Authored on

Parents

rAFP73b120ffbbc3: use time_fun command

Branches

Unknown

Tags

Unknown

Event Timeline

Michikazu Hirata <hirata.m.ac@m.titech.ac.jp> committed rAFPba90253ef12d: updated: standard Borel.Mar 26 2024, 4:21 AM

Changes (3)

Path

Size

thys/

Standard_Borel_Spaces/

Abstract_Metrizable_Topology.thy

Lemmas_StandardBorel.thy

Set_Based_Metric_Space.thy

rAFPba90253ef12d

thys/Standard_Borel_Spaces/Abstract_Metrizable_Topology.thy

Loading...

thys/Standard_Borel_Spaces/Lemmas_StandardBorel.thy

Loading...

thys/Standard_Borel_Spaces/Set_Based_Metric_Space.thy

Loading...