Commit 2024-09-30 13:03 13d70fad
View on Github →chore(Tactic/GeneraliseProofs): reduce Inhabited to Nonempty (#17125) This seems to work, but I am not sure if this change is fully fine, or there are side effects I don't know about.
chore(Tactic/GeneraliseProofs): reduce Inhabited to Nonempty (#17125) This seems to work, but I am not sure if this change is fully fine, or there are side effects I don't know about.