Theorem Basis.extendOfIsLattice_apply

Modification history