Skip to content

Rewrite rules for pushouts #7181

Rewrite rules for pushouts

Rewrite rules for pushouts #7181

Annotations

2 warnings

typecheck (ubuntu-latest, 2.6.4)

succeeded Apr 19, 2024 in 1m 39s