Skip to content

Add LIST_REL aliases for EVERY2 theorems #1232

Add LIST_REL aliases for EVERY2 theorems

Add LIST_REL aliases for EVERY2 theorems #1232

Triggered via push January 12, 2026 08:57
Status Success
Total duration 2h 14m 15s
Artifacts

docker-ci.yml

on: push
Fit to window
Zoom out
Zoom in