Commit 2025-08-11 12:31 6e2f4e13

View on Github →

chore: rename Zlattice.FG to ZLattice.FG (#28228) Every other declaration uses ZLattice.

Estimated changes

added theorem ZLattice.FG
deleted theorem Zlattice.FG