Def Counterexample.withSign

Modification history

2023-06-16 10:33

Counterexamples/DirectSumIsInternal.lean

feat: port Counterexamples.DirectSumIsInternal (#4812)

Added Counterexample.withSign View on Github →