Theorem collapse_modular

Modification history