Theorem ZMod.expand_card

Modification history