Skip to content

Update `variable` line

648d826
Select commit
Loading
Failed to load commit list.
Closed

chore: forward-port leanprover-community/mathlib#18964 #3842

Update `variable` line
648d826
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs