Builder.Apply: suggest alias when warning about apply rule for Iff theorem #520
Triggered via pull request
September 29, 2024 10:37
Status
Success
Total duration
1m 25s
Artifacts
–