Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - chore(logic/function/basic): remove classical decidable instance from a lemma statement #6488

Closed
wants to merge 4 commits into from

Update src/logic/function/basic.lean

f4e8822
Select commit
Loading
Failed to load commit list.
Closed

[Merged by Bors] - chore(logic/function/basic): remove classical decidable instance from a lemma statement #6488

Update src/logic/function/basic.lean
f4e8822
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs