Skip to content

feat(Logic/Small/Defs): Small.{max u v, u} α #6572

feat(Logic/Small/Defs): Small.{max u v, u} α

feat(Logic/Small/Defs): Small.{max u v, u} α #6572

build

succeeded Sep 6, 2024 in 7s