Theorem domain_mvt

Modification history