mathlib3
ffbab0dc - chore(group_theory/quotient_group): change injective_ker_lift to ker_lift_injective for naming regularisation (#11027)

Commit

4 years ago

chore(group_theory/quotient_group): change injective_ker_lift to ker_lift_injective for naming regularisation (#11027) Minor change for naming regularisation. Co-authored-by: Multramate <dka316@ic.ac.uk>

Author

Multramate

Parents

a0993e4d

mathlib3 ffbab0dc - chore(group_theory/quotient_group): change injective_ker_lift to ker_lift_injective for naming regularisation (#11027)

mathlib3
ffbab0dc - chore(group_theory/quotient_group): change injective_ker_lift to ker_lift_injective for naming regularisation (#11027)