Add type aliases for WithTop · leanprover-community/mathlib4@48d1555

Triggered via push February 1, 2025 19:11

ScottCarnahan/heval

Status Success

Total duration 9m 26s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	194 KB