Skip to content

feat: subst notation (heq ▸ h) tries both orientation #16292

feat: subst notation (heq ▸ h) tries both orientation

feat: subst notation (heq ▸ h) tries both orientation #16292

Annotations

1 warning

Build matrix complete

succeeded May 1, 2024 in 2s