mathlib3
refactot(data/equiv/basic): rename apply_inverse_apply to apply_symm_apply
#800
Merged
Overview
Commits
3
Changes
View On GitHub

refactot(data/equiv/basic): rename apply_inverse_apply to apply_symm_apply #800

robertylewis merged 3 commits into master from symm_apply_apply
ChrisHughes24
ChrisHughes24 refactot(data/equiv/basic): rename apply_inverse_apply to apply_symm_…
497e2476
cipher1024 cipher1024 assigned robertylewis robertylewis 7 years ago
ChrisHughes24 merge and fix build
7cec3119
jcommelin
robertylewis Merge branch 'master' into symm_apply_apply
610b2d56
robertylewis robertylewis merged 1159fa95 into master 7 years ago
ChrisHughes24 ChrisHughes24 deleted the symm_apply_apply branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum