Skip to content
CI

fix sub-abs in summary of the sigma algebra (#1014) #777

Sign in to view logs

fix sub-abs in summary of the sigma algebra (#1014)

fix sub-abs in summary of the sigma algebra (#1014) #777

Build with older Agda 2.6.2.1

Build with older Agda 2.6.2.1
succeeded Jul 14, 2024 in 23m 25s