Theorem IsBaseChange.comp_iff

Modification history