Reorganise analysis/facts/busy_interval/ideal folder

Reorganise the lemmas present in different files as they do not pertain to the specs.

changed title from Reorganise {--}analysis/facts/busy_interval/ideal{--} folder to Reorganise analysis/facts/busy_interval/ideal folder

mentioned in commit 09a3635f

mentioned in commit 692dad9d

mentioned in merge request !280 (merged)

mentioned in commit 819898e0

mentioned in commit 1b8501dc

mentioned in commit 7b35b1e4

mentioned in commit 1d4776e8

mentioned in commit df61d58e

mentioned in commit 7d95610a

Completed with !315 (merged); the folder does not exist anymore.

closed