mathlib
b535b0a5 - fix(tactic/default): add transport, equiv_rw (#3330)

Commit

5 years ago

fix(tactic/default): add transport, equiv_rw (#3330) Also added a tactic doc entry for `transport`.

Author

bryangingechen

Parents