Theorem Rep.ihom_obj_ρ_def

Modification history