Theorem Algebra.Extension.ker_infinitesimal

Modification history