Theorem StableUnderGeneralization.preimage

Modification history