Theorem Grp_.isPullback

Modification history