Theorem ApplicativeTransformation.app_eq_coe

Modification history