Theorem LinearMap.isIdempotentElem_apply_one_iff

Modification history