mathlib3
refactot(data/equiv/basic): rename apply_inverse_apply to apply_symm_apply
#800
Merged
Overview
Commits
3
Changes
View On GitHub
Commits
  • refactot(data/equiv/basic): rename apply_inverse_apply to apply_symm_apply
    ChrisHughes24 committed 7 years ago
  • merge and fix build
    ChrisHughes24 committed 7 years ago
  • Merge branch 'master' into symm_apply_apply
    robertylewis committed 7 years ago
FAQ Terms Privacy Refunds Impressum
Loading