Repository navigation

Make the AntiFunction override total on non-injective functions - #135

Merged

lemmy merged 2 commits into

mku-antifunction

Oct 4, 2026

Commits on Oct 3, 2026
- Make the AntiFunction override total on non-injective functions
  
  lemmy
  and
  claude
  committed
  f114112
- Document the AntiFunction override with a worked TLA+ example
  
  lemmy
  and
  claude
  committed
  8df3880