OAI/NumberTheory/TotientAsymptotic/TerminalSliceCount.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Sum the actual terminal-coordinate strips using their finite residual masses.

  1. theorem OAI.TotientAsymptotic.terminal_slice_value_count line 11