feat (Algebra/Order/Quantale): isMulIdempotent, isMulLeftsided, isMulRightsided, isMulTwosided and strict versions #141405
Triggered via pull request
April 4, 2026 08:10
PieterCuijpers
PieterCuijpers
synchronize
#36896
Status
Success
Total duration
1m 0s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
57s