thys/PDerivs.thy
2019-02-17 Christian Urban updated
2019-02-11 Christian Urban added cardinality proof of Antimirov
2019-02-11 Christian Urban added partial derivative proof from Antimirov
less more (0) tip