Commit 2023-05-27 16:47 53b34d30

View on Github →

chore: forward-port leanprover-community/mathlib#19080 (#4398)

Estimated changes

added theorem isUnit_op
added theorem isUnit_unop