Theorem Turing.PartrecToTM2.supports_bunionᵢ

Modification history