Theorem: HTPI.Exercises.rep_image_family_base (Chap6Ex.lean)

State before:
A : Type
F : Set (A → A)
B : Set A
⊢ rep_image_family F 0 B = B
Tactic:
rfl
State after:
no goals