Skip to content

[Merged by Bors] - fix: remove @[reducible] attribute from Function.injective#375

Closed
dwrensha wants to merge 1 commit intoleanprover-community:masterfrom dwrensha:injective-not-reducible
+2-2

Commits

Commits on Aug 22, 2022