Theorem Grp_Class.isPullback

Modification history