Theorem Set.restrict_comp_codRestrict

Modification history