Theorem equiv.self_comp_of_injective_symm
Modification history
2022-01-11 08:13
src/data/equiv/set.lean
refactor(logic/small, *): Infer `f : α → β` when followed by a simple condition on `f` (#11037)
Modified equiv.self_comp_of_injective_symmView on Github →